TSTP Solution File: DAT277^1 by SInE---0.4